|
|
Překlad C++ aplikací pro vestavěná zařízení
Nosterský, Milan ; Přikryl, Zdeněk (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato diplomová práce se zabývá přidáním podpory překladu jazyka C++ a jeho standardu C++11 v rámci překladače pro vestavěné systémy. Překladač, založený na projektu LLVM se generuje v rámci prostředí Codasip Studia. Toto prostředí slouží pro návrh procesorů s aplikačně specifickou instrukční sadou, kdy umožňuje na základě popisu sémantiky instrukční sady generovat překladač pro libovolnou cílovou architekturu. Jazyk C++ je jazyk vycházející z jazyka C, rozšířený o objektovou orientaci a několik nových funkcionalit. Jazyk C++ umožňuje psát velmi efektivní kód na vysoké úrovni abstrakce. V rámci testovací fáze je implementace podpory jazyka C++ ověřena na modelech procesorových jader s využitím testovací sady.
|
|
|
Ladící třída pro PHP
Kluvánek, Jakub ; Krček, Petr (oponent) ; Roupec, Jan (vedoucí práce)
Cílem této práce je vytvořit pomůcku, která bude pomáhat při vytváření a ladění PHP aplikací. Práce rovněž obsahuje přehled toho, jak se v PHP zachází s chybami a výjimkami standardním způsobem. Výsledkem je snadno použitelná třída, která je snadno rozšiřitelná o další funkčnost a obsahuje všechny základní nástroje užitečné při vývoji. Další, neméně důležitou funkcí, této ladící třídy je část, která zpracovává chyby na produkčním serveru. Tato část je nezbytná, protože uživateli by se neměly zobrazovat detailní informace o chybě. Chyby totiž můžou obsahovat citlivé informace (předevšim hesla do databáze, strukturu tabulek,...). Třídu již sám v praxi používám na několika projektech a ukázala se velmi přínosnou.
|
|
|
Programování s přístupem Design by Contract na platformě .NET
Bohačiak, Ondrej ; Rychlý, Marek (oponent) ; Bartík, Vladimír (vedoucí práce)
Cílem této práce je představit programovací přístup Design by Contract (DbC), jeho principy a způsoby implementace v různých prostředích. V úvodě projektu je diskutovaná motivace k vzniku tohoto přístupu a vysvětlená metafora, o kterou se DbC opírá i její aplikace do programování. Následně jsou popsány hlavní prvky smlouvy v kontextu rozhraní rutiny. Hlavní náplní práce je analýza a porovnaní jednotlivých programovacích prostředí pro vývoj pomocí DbC pomocí programových ukáţek. V závěru práce je zhodnocen přínos této techniky a její začlenění do moderního procesu vývoje.
|
|
|
Statistiky managementu bobra evropského v ČR
Robotka, David
Tato bakalářská práce řeší problematiku týkající se počtu vydaných výjimek a následného skutečného odlovu bobra evropského (Castor fiber) v rámci celé České republiky. K řešení byly využity získané informace z krajských úřadů z odboru životního prostředí a krajiny. Studie ukázala, že již první roky od přijetí Programu péče o bobra byly výjimky s povolením k lovu vydávány, avšak jejich využití ve formě počtu ulovených kusů nebylo vysoké. Z důvodu neustálého se rozšiřování tohoto druhu a s tím spojené zvýšené působení škod se však tento počet postupem času zvyšoval. Hlavním zjištěním je, že se od roku 2013 do doby sběru dat vydalo celkem 72 výjimek k lovu a 7 opatření obecné povahy. Celkem se na ně ulovilo 235 jedinců bobra evropského, nejvíce však v Plzeňském kraji. Paradoxně bylo uloveno více jedinců v zóně B, kde je odstřel povolen pouze na vydané výjimky než v zóně C, kde je odstřel celoplošně bez omezení.
|
|
|
Překlad C++ aplikací pro vestavěná zařízení
Nosterský, Milan ; Přikryl, Zdeněk (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato diplomová práce se zabývá přidáním podpory překladu jazyka C++ a jeho standardu C++11 v rámci překladače pro vestavěné systémy. Překladač, založený na projektu LLVM se generuje v rámci prostředí Codasip Studia. Toto prostředí slouží pro návrh procesorů s aplikačně specifickou instrukční sadou, kdy umožňuje na základě popisu sémantiky instrukční sady generovat překladač pro libovolnou cílovou architekturu. Jazyk C++ je jazyk vycházející z jazyka C, rozšířený o objektovou orientaci a několik nových funkcionalit. Jazyk C++ umožňuje psát velmi efektivní kód na vysoké úrovni abstrakce. V rámci testovací fáze je implementace podpory jazyka C++ ověřena na modelech procesorových jader s využitím testovací sady.
|
|
|
Výjimky ze zákazu kvantitativních překážek
Matějka, David ; Kunertová, Tereza (vedoucí práce) ; Šmejkal, Václav (oponent)
Tématem této diplomové práce jsou "Výjimky ze zákazu kvantitativních překážek." Původ těchto překážek řadíme do pravidel vnitřního trhu Evropské unie a to konkrétněji do jeho volného pohybu zboží. Volný pohyb zboží je jedna ze čtyř základních svobod vnitřního trhu EU. Volný pohyb zboží je zajištěn odstraněním fiskálních a nefiskálních překážek, které brání obchodu mezi členskými státy a které jsou mezi členskými státy zakázány. Mezi fiskální překážky řadíme cla, opatření s rovnocenným účinkem clům a ostatní fiskální překážky jako jsou např. různá vnitřní zdanění. Co se týká nefiskálních překážek, ty představují přímá množstevní omezení, což jsou kvóty a embarga a také opatření s rovnocenným účinkem kvantitativním omezení. Na rozdíl od fiskálních překážek tyto nefiskální překážky však mohou být za určitých podmínek ospravedlněny. Přímá množstevní omezení se v dnešní době již téměř nevyskytují, zatímco opatření s rovnocenným účinkem kvantitativním omezení se mohou vyskytovat v nejrůznějších formách či variantách. Tato opatření s rovnocenným účinkem týkající se dovozu zboží jsou explicitně zakázána ve Smlouvě o fungování EU a to v jejím článku 34. Opatření s rovnocenným účinkem týkající se vývozu zboží, jež je zakázáno následujícím článkem 35, jsou však méně častá. Obecně lze tato opatření rozdělit na...
|
|
|
Povinná mlčenlivost zdravotnických pracovníků - trestněprávní aspekty
Mišľan, Martin ; Sovová, Olga (vedoucí práce) ; Císařová, Dagmar (oponent)
Resumé Cílem mé práce bylo přiblížit problematiku povinné mlčenlivosti zdravotnických pracovníků a výjimek z tohoto institutu v souvislosti s trestním právem. V úvodní části diplomové práce je obecně definován institut povinné mlčenlivosti ve zdravotnictví, prameny právní úpravy tohoto institutu a jeho vývoj v českém právním řádu. Práce se také zabývá problematikou zdravotní dokumentace a ochrany osobních citlivých údajů v souvislosti s povinnou mlčenlivostí zdravotnických pracovníků. V další části práce je vymezeno prolomení povinné mlčenlivosti na základě souhlasu pacienta a také případy, kde souhlas pacienta k získaní informací o jeho zdravotním stavu není potřebný. Práce se zabývá i trestní odpovědností při porušení povinné mlčenlivosti a vyjmenovává možné trestné činy, které můžou být porušením této povinnosti spáchány. Závěr práce předkládá stručné porovnání úpravy institutu v Slovenské republice a v Německé spolkové republice.
|
|
|
On the semantics of exceptions for high level and low level languages
Tejiščák, Matúš ; Swierstra, Wouter (vedoucí práce) ; Kučera, Petr (oponent)
V práci se zabýváme korektností kompilátoru jazyka s výjimkami. Předkládáme formální sémantiku; jak denotační sémantiku vysokoúrovňového jazyka, tak operační sémantiku jazyka instrukcí pro zásobníkový stroj. Studujeme metodu odvíjení zásobníku a poté, iterativně ve více krocích, předkládáme modifikovanou metodu. Tato je strukturálně rekurzivní a tudíž vhodná pro implementaci v totálních závisle typovaných jazycích. Nakonec předkládáme implementaci kompilátoru v závisle typovaném jazyce Agda, spolu se strojově ověřitelným důkazem, že předložená implementace kompilátoru při překladu zachovává sémantiku programu.
|
|
|
Možné konflikty vybraných aktivit s požadavky Vodní rámcové směrnice 2000/60/ES
Kulštrunková, Zuzana ; Zdražil, Vladimír (vedoucí práce) ; Milan, Milan (oponent)
Od poloviny 20. století se vodní politika v evropských zemích postupně měnila, od nadměrného využívání přírodních zdrojů až po jejich ochranu. Poslední zásadní změnou ve vodní politice bylo shrnutí většiny směrnic do jednoho, do Vodní rámcové směrnice 2000/60/ES, která zavedla vodohospodářské plánování a přípravu vodních programů v celoevropském měřítku. I přes její nesporná pozitiva, která přinesla do vodní evropské politiky, vyrůstají zde otázky o jejím využití v konkrétních projektech v praxi, zejména v oblasti vodních elektráren. V některých případech, jako je napříkklad případová studie z řeky Vezery v Německu ukazuje, že výklad Vodní rámcové směrnice není úplně jasný všem a tak se některé případy z důvodu nejasného výkladu, mohou dostat až před Soudní dvůr Evropské unie.
|
|
|
Programování s přístupem Design by Contract na platformě .NET
Bohačiak, Ondrej ; Rychlý, Marek (oponent) ; Bartík, Vladimír (vedoucí práce)
Cílem této práce je představit programovací přístup Design by Contract (DbC), jeho principy a způsoby implementace v různých prostředích. V úvodě projektu je diskutovaná motivace k vzniku tohoto přístupu a vysvětlená metafora, o kterou se DbC opírá i její aplikace do programování. Následně jsou popsány hlavní prvky smlouvy v kontextu rozhraní rutiny. Hlavní náplní práce je analýza a porovnaní jednotlivých programovacích prostředí pro vývoj pomocí DbC pomocí programových ukáţek. V závěru práce je zhodnocen přínos této techniky a její začlenění do moderního procesu vývoje.
|
host ::
RSS.